let f x y = ()

fun x ->{caret} f 1 x
